ma{-}interface{-}left($X$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$ma{-}interface{-}compose($\lambda$$x$.$x$;$X$)